<div>
    List SSH public keys that are associated with the user account.
    These keys can be used for example by Jenkins CLI.
</div>